functor F (A : sig exception E end) =
struct
  exception E = A.E
end
